#include "public.h"
void main() {
	char s[5] = {"123"};;
	printf("%s\n", s);
}
